Optimal. Leaf size=244 \[ \frac {2 d^3 (c d-b e)^3 \sqrt {d+e x}}{e^7}-\frac {2 d^2 (c d-b e)^2 (2 c d-b e) (d+e x)^{3/2}}{e^7}+\frac {6 d (c d-b e) \left (5 c^2 d^2-5 b c d e+b^2 e^2\right ) (d+e x)^{5/2}}{5 e^7}-\frac {2 (2 c d-b e) \left (10 c^2 d^2-10 b c d e+b^2 e^2\right ) (d+e x)^{7/2}}{7 e^7}+\frac {2 c \left (5 c^2 d^2-5 b c d e+b^2 e^2\right ) (d+e x)^{9/2}}{3 e^7}-\frac {6 c^2 (2 c d-b e) (d+e x)^{11/2}}{11 e^7}+\frac {2 c^3 (d+e x)^{13/2}}{13 e^7} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.07, antiderivative size = 244, normalized size of antiderivative = 1.00, number of steps
used = 2, number of rules used = 1, integrand size = 21, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.048, Rules used = {712}
\begin {gather*} \frac {2 c (d+e x)^{9/2} \left (b^2 e^2-5 b c d e+5 c^2 d^2\right )}{3 e^7}-\frac {2 (d+e x)^{7/2} (2 c d-b e) \left (b^2 e^2-10 b c d e+10 c^2 d^2\right )}{7 e^7}+\frac {6 d (d+e x)^{5/2} (c d-b e) \left (b^2 e^2-5 b c d e+5 c^2 d^2\right )}{5 e^7}-\frac {6 c^2 (d+e x)^{11/2} (2 c d-b e)}{11 e^7}+\frac {2 d^3 \sqrt {d+e x} (c d-b e)^3}{e^7}-\frac {2 d^2 (d+e x)^{3/2} (c d-b e)^2 (2 c d-b e)}{e^7}+\frac {2 c^3 (d+e x)^{13/2}}{13 e^7} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 712
Rubi steps
\begin {align*} \int \frac {\left (b x+c x^2\right )^3}{\sqrt {d+e x}} \, dx &=\int \left (\frac {d^3 (c d-b e)^3}{e^6 \sqrt {d+e x}}-\frac {3 d^2 (c d-b e)^2 (2 c d-b e) \sqrt {d+e x}}{e^6}+\frac {3 d (c d-b e) \left (5 c^2 d^2-5 b c d e+b^2 e^2\right ) (d+e x)^{3/2}}{e^6}+\frac {(2 c d-b e) \left (-10 c^2 d^2+10 b c d e-b^2 e^2\right ) (d+e x)^{5/2}}{e^6}+\frac {3 c \left (5 c^2 d^2-5 b c d e+b^2 e^2\right ) (d+e x)^{7/2}}{e^6}-\frac {3 c^2 (2 c d-b e) (d+e x)^{9/2}}{e^6}+\frac {c^3 (d+e x)^{11/2}}{e^6}\right ) \, dx\\ &=\frac {2 d^3 (c d-b e)^3 \sqrt {d+e x}}{e^7}-\frac {2 d^2 (c d-b e)^2 (2 c d-b e) (d+e x)^{3/2}}{e^7}+\frac {6 d (c d-b e) \left (5 c^2 d^2-5 b c d e+b^2 e^2\right ) (d+e x)^{5/2}}{5 e^7}-\frac {2 (2 c d-b e) \left (10 c^2 d^2-10 b c d e+b^2 e^2\right ) (d+e x)^{7/2}}{7 e^7}+\frac {2 c \left (5 c^2 d^2-5 b c d e+b^2 e^2\right ) (d+e x)^{9/2}}{3 e^7}-\frac {6 c^2 (2 c d-b e) (d+e x)^{11/2}}{11 e^7}+\frac {2 c^3 (d+e x)^{13/2}}{13 e^7}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.11, size = 232, normalized size = 0.95 \begin {gather*} \frac {2 \sqrt {d+e x} \left (429 b^3 e^3 \left (-16 d^3+8 d^2 e x-6 d e^2 x^2+5 e^3 x^3\right )+143 b^2 c e^2 \left (128 d^4-64 d^3 e x+48 d^2 e^2 x^2-40 d e^3 x^3+35 e^4 x^4\right )+65 b c^2 e \left (-256 d^5+128 d^4 e x-96 d^3 e^2 x^2+80 d^2 e^3 x^3-70 d e^4 x^4+63 e^5 x^5\right )+5 c^3 \left (1024 d^6-512 d^5 e x+384 d^4 e^2 x^2-320 d^3 e^3 x^3+280 d^2 e^4 x^4-252 d e^5 x^5+231 e^6 x^6\right )\right )}{15015 e^7} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.48, size = 269, normalized size = 1.10
method | result | size |
derivativedivides | \(\frac {\frac {2 c^{3} \left (e x +d \right )^{\frac {13}{2}}}{13}+\frac {2 \left (-3 c^{3} d +3 \left (b e -c d \right ) c^{2}\right ) \left (e x +d \right )^{\frac {11}{2}}}{11}+\frac {2 \left (3 c^{3} d^{2}-9 d \left (b e -c d \right ) c^{2}+3 \left (b e -c d \right )^{2} c \right ) \left (e x +d \right )^{\frac {9}{2}}}{9}+\frac {2 \left (-c^{3} d^{3}+9 d^{2} \left (b e -c d \right ) c^{2}-9 d \left (b e -c d \right )^{2} c +\left (b e -c d \right )^{3}\right ) \left (e x +d \right )^{\frac {7}{2}}}{7}+\frac {2 \left (-3 d^{3} \left (b e -c d \right ) c^{2}+9 d^{2} \left (b e -c d \right )^{2} c -3 d \left (b e -c d \right )^{3}\right ) \left (e x +d \right )^{\frac {5}{2}}}{5}+\frac {2 \left (-3 d^{3} \left (b e -c d \right )^{2} c +3 d^{2} \left (b e -c d \right )^{3}\right ) \left (e x +d \right )^{\frac {3}{2}}}{3}-2 d^{3} \left (b e -c d \right )^{3} \sqrt {e x +d}}{e^{7}}\) | \(269\) |
default | \(\frac {\frac {2 c^{3} \left (e x +d \right )^{\frac {13}{2}}}{13}+\frac {2 \left (-3 c^{3} d +3 \left (b e -c d \right ) c^{2}\right ) \left (e x +d \right )^{\frac {11}{2}}}{11}+\frac {2 \left (3 c^{3} d^{2}-9 d \left (b e -c d \right ) c^{2}+3 \left (b e -c d \right )^{2} c \right ) \left (e x +d \right )^{\frac {9}{2}}}{9}+\frac {2 \left (-c^{3} d^{3}+9 d^{2} \left (b e -c d \right ) c^{2}-9 d \left (b e -c d \right )^{2} c +\left (b e -c d \right )^{3}\right ) \left (e x +d \right )^{\frac {7}{2}}}{7}+\frac {2 \left (-3 d^{3} \left (b e -c d \right ) c^{2}+9 d^{2} \left (b e -c d \right )^{2} c -3 d \left (b e -c d \right )^{3}\right ) \left (e x +d \right )^{\frac {5}{2}}}{5}+\frac {2 \left (-3 d^{3} \left (b e -c d \right )^{2} c +3 d^{2} \left (b e -c d \right )^{3}\right ) \left (e x +d \right )^{\frac {3}{2}}}{3}-2 d^{3} \left (b e -c d \right )^{3} \sqrt {e x +d}}{e^{7}}\) | \(269\) |
gosper | \(-\frac {2 \left (-1155 c^{3} x^{6} e^{6}-4095 b \,c^{2} e^{6} x^{5}+1260 c^{3} d \,e^{5} x^{5}-5005 b^{2} c \,e^{6} x^{4}+4550 b \,c^{2} d \,e^{5} x^{4}-1400 c^{3} d^{2} e^{4} x^{4}-2145 b^{3} e^{6} x^{3}+5720 b^{2} c d \,e^{5} x^{3}-5200 b \,c^{2} d^{2} e^{4} x^{3}+1600 c^{3} d^{3} e^{3} x^{3}+2574 b^{3} d \,e^{5} x^{2}-6864 b^{2} c \,d^{2} e^{4} x^{2}+6240 b \,c^{2} d^{3} e^{3} x^{2}-1920 c^{3} d^{4} e^{2} x^{2}-3432 b^{3} d^{2} e^{4} x +9152 b^{2} c \,d^{3} e^{3} x -8320 b \,c^{2} d^{4} e^{2} x +2560 c^{3} d^{5} e x +6864 b^{3} d^{3} e^{3}-18304 b^{2} c \,d^{4} e^{2}+16640 b \,c^{2} d^{5} e -5120 c^{3} d^{6}\right ) \sqrt {e x +d}}{15015 e^{7}}\) | \(286\) |
trager | \(-\frac {2 \left (-1155 c^{3} x^{6} e^{6}-4095 b \,c^{2} e^{6} x^{5}+1260 c^{3} d \,e^{5} x^{5}-5005 b^{2} c \,e^{6} x^{4}+4550 b \,c^{2} d \,e^{5} x^{4}-1400 c^{3} d^{2} e^{4} x^{4}-2145 b^{3} e^{6} x^{3}+5720 b^{2} c d \,e^{5} x^{3}-5200 b \,c^{2} d^{2} e^{4} x^{3}+1600 c^{3} d^{3} e^{3} x^{3}+2574 b^{3} d \,e^{5} x^{2}-6864 b^{2} c \,d^{2} e^{4} x^{2}+6240 b \,c^{2} d^{3} e^{3} x^{2}-1920 c^{3} d^{4} e^{2} x^{2}-3432 b^{3} d^{2} e^{4} x +9152 b^{2} c \,d^{3} e^{3} x -8320 b \,c^{2} d^{4} e^{2} x +2560 c^{3} d^{5} e x +6864 b^{3} d^{3} e^{3}-18304 b^{2} c \,d^{4} e^{2}+16640 b \,c^{2} d^{5} e -5120 c^{3} d^{6}\right ) \sqrt {e x +d}}{15015 e^{7}}\) | \(286\) |
risch | \(-\frac {2 \left (-1155 c^{3} x^{6} e^{6}-4095 b \,c^{2} e^{6} x^{5}+1260 c^{3} d \,e^{5} x^{5}-5005 b^{2} c \,e^{6} x^{4}+4550 b \,c^{2} d \,e^{5} x^{4}-1400 c^{3} d^{2} e^{4} x^{4}-2145 b^{3} e^{6} x^{3}+5720 b^{2} c d \,e^{5} x^{3}-5200 b \,c^{2} d^{2} e^{4} x^{3}+1600 c^{3} d^{3} e^{3} x^{3}+2574 b^{3} d \,e^{5} x^{2}-6864 b^{2} c \,d^{2} e^{4} x^{2}+6240 b \,c^{2} d^{3} e^{3} x^{2}-1920 c^{3} d^{4} e^{2} x^{2}-3432 b^{3} d^{2} e^{4} x +9152 b^{2} c \,d^{3} e^{3} x -8320 b \,c^{2} d^{4} e^{2} x +2560 c^{3} d^{5} e x +6864 b^{3} d^{3} e^{3}-18304 b^{2} c \,d^{4} e^{2}+16640 b \,c^{2} d^{5} e -5120 c^{3} d^{6}\right ) \sqrt {e x +d}}{15015 e^{7}}\) | \(286\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.30, size = 305, normalized size = 1.25 \begin {gather*} \frac {2}{15015} \, {\left (429 \, {\left (5 \, {\left (x e + d\right )}^{\frac {7}{2}} - 21 \, {\left (x e + d\right )}^{\frac {5}{2}} d + 35 \, {\left (x e + d\right )}^{\frac {3}{2}} d^{2} - 35 \, \sqrt {x e + d} d^{3}\right )} b^{3} e^{\left (-3\right )} + 143 \, {\left (35 \, {\left (x e + d\right )}^{\frac {9}{2}} - 180 \, {\left (x e + d\right )}^{\frac {7}{2}} d + 378 \, {\left (x e + d\right )}^{\frac {5}{2}} d^{2} - 420 \, {\left (x e + d\right )}^{\frac {3}{2}} d^{3} + 315 \, \sqrt {x e + d} d^{4}\right )} b^{2} c e^{\left (-4\right )} + 65 \, {\left (63 \, {\left (x e + d\right )}^{\frac {11}{2}} - 385 \, {\left (x e + d\right )}^{\frac {9}{2}} d + 990 \, {\left (x e + d\right )}^{\frac {7}{2}} d^{2} - 1386 \, {\left (x e + d\right )}^{\frac {5}{2}} d^{3} + 1155 \, {\left (x e + d\right )}^{\frac {3}{2}} d^{4} - 693 \, \sqrt {x e + d} d^{5}\right )} b c^{2} e^{\left (-5\right )} + 5 \, {\left (231 \, {\left (x e + d\right )}^{\frac {13}{2}} - 1638 \, {\left (x e + d\right )}^{\frac {11}{2}} d + 5005 \, {\left (x e + d\right )}^{\frac {9}{2}} d^{2} - 8580 \, {\left (x e + d\right )}^{\frac {7}{2}} d^{3} + 9009 \, {\left (x e + d\right )}^{\frac {5}{2}} d^{4} - 6006 \, {\left (x e + d\right )}^{\frac {3}{2}} d^{5} + 3003 \, \sqrt {x e + d} d^{6}\right )} c^{3} e^{\left (-6\right )}\right )} e^{\left (-1\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 1.54, size = 256, normalized size = 1.05 \begin {gather*} \frac {2}{15015} \, {\left (5120 \, c^{3} d^{6} + 5 \, {\left (231 \, c^{3} x^{6} + 819 \, b c^{2} x^{5} + 1001 \, b^{2} c x^{4} + 429 \, b^{3} x^{3}\right )} e^{6} - 2 \, {\left (630 \, c^{3} d x^{5} + 2275 \, b c^{2} d x^{4} + 2860 \, b^{2} c d x^{3} + 1287 \, b^{3} d x^{2}\right )} e^{5} + 8 \, {\left (175 \, c^{3} d^{2} x^{4} + 650 \, b c^{2} d^{2} x^{3} + 858 \, b^{2} c d^{2} x^{2} + 429 \, b^{3} d^{2} x\right )} e^{4} - 16 \, {\left (100 \, c^{3} d^{3} x^{3} + 390 \, b c^{2} d^{3} x^{2} + 572 \, b^{2} c d^{3} x + 429 \, b^{3} d^{3}\right )} e^{3} + 128 \, {\left (15 \, c^{3} d^{4} x^{2} + 65 \, b c^{2} d^{4} x + 143 \, b^{2} c d^{4}\right )} e^{2} - 1280 \, {\left (2 \, c^{3} d^{5} x + 13 \, b c^{2} d^{5}\right )} e\right )} \sqrt {x e + d} e^{\left (-7\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 745 vs.
\(2 (241) = 482\).
time = 40.16, size = 745, normalized size = 3.05 \begin {gather*} \begin {cases} \frac {- \frac {2 b^{3} d \left (- \frac {d^{3}}{\sqrt {d + e x}} - 3 d^{2} \sqrt {d + e x} + d \left (d + e x\right )^{\frac {3}{2}} - \frac {\left (d + e x\right )^{\frac {5}{2}}}{5}\right )}{e^{3}} - \frac {2 b^{3} \left (\frac {d^{4}}{\sqrt {d + e x}} + 4 d^{3} \sqrt {d + e x} - 2 d^{2} \left (d + e x\right )^{\frac {3}{2}} + \frac {4 d \left (d + e x\right )^{\frac {5}{2}}}{5} - \frac {\left (d + e x\right )^{\frac {7}{2}}}{7}\right )}{e^{3}} - \frac {6 b^{2} c d \left (\frac {d^{4}}{\sqrt {d + e x}} + 4 d^{3} \sqrt {d + e x} - 2 d^{2} \left (d + e x\right )^{\frac {3}{2}} + \frac {4 d \left (d + e x\right )^{\frac {5}{2}}}{5} - \frac {\left (d + e x\right )^{\frac {7}{2}}}{7}\right )}{e^{4}} - \frac {6 b^{2} c \left (- \frac {d^{5}}{\sqrt {d + e x}} - 5 d^{4} \sqrt {d + e x} + \frac {10 d^{3} \left (d + e x\right )^{\frac {3}{2}}}{3} - 2 d^{2} \left (d + e x\right )^{\frac {5}{2}} + \frac {5 d \left (d + e x\right )^{\frac {7}{2}}}{7} - \frac {\left (d + e x\right )^{\frac {9}{2}}}{9}\right )}{e^{4}} - \frac {6 b c^{2} d \left (- \frac {d^{5}}{\sqrt {d + e x}} - 5 d^{4} \sqrt {d + e x} + \frac {10 d^{3} \left (d + e x\right )^{\frac {3}{2}}}{3} - 2 d^{2} \left (d + e x\right )^{\frac {5}{2}} + \frac {5 d \left (d + e x\right )^{\frac {7}{2}}}{7} - \frac {\left (d + e x\right )^{\frac {9}{2}}}{9}\right )}{e^{5}} - \frac {6 b c^{2} \left (\frac {d^{6}}{\sqrt {d + e x}} + 6 d^{5} \sqrt {d + e x} - 5 d^{4} \left (d + e x\right )^{\frac {3}{2}} + 4 d^{3} \left (d + e x\right )^{\frac {5}{2}} - \frac {15 d^{2} \left (d + e x\right )^{\frac {7}{2}}}{7} + \frac {2 d \left (d + e x\right )^{\frac {9}{2}}}{3} - \frac {\left (d + e x\right )^{\frac {11}{2}}}{11}\right )}{e^{5}} - \frac {2 c^{3} d \left (\frac {d^{6}}{\sqrt {d + e x}} + 6 d^{5} \sqrt {d + e x} - 5 d^{4} \left (d + e x\right )^{\frac {3}{2}} + 4 d^{3} \left (d + e x\right )^{\frac {5}{2}} - \frac {15 d^{2} \left (d + e x\right )^{\frac {7}{2}}}{7} + \frac {2 d \left (d + e x\right )^{\frac {9}{2}}}{3} - \frac {\left (d + e x\right )^{\frac {11}{2}}}{11}\right )}{e^{6}} - \frac {2 c^{3} \left (- \frac {d^{7}}{\sqrt {d + e x}} - 7 d^{6} \sqrt {d + e x} + 7 d^{5} \left (d + e x\right )^{\frac {3}{2}} - 7 d^{4} \left (d + e x\right )^{\frac {5}{2}} + 5 d^{3} \left (d + e x\right )^{\frac {7}{2}} - \frac {7 d^{2} \left (d + e x\right )^{\frac {9}{2}}}{3} + \frac {7 d \left (d + e x\right )^{\frac {11}{2}}}{11} - \frac {\left (d + e x\right )^{\frac {13}{2}}}{13}\right )}{e^{6}}}{e} & \text {for}\: e \neq 0 \\\frac {\frac {b^{3} x^{4}}{4} + \frac {3 b^{2} c x^{5}}{5} + \frac {b c^{2} x^{6}}{2} + \frac {c^{3} x^{7}}{7}}{\sqrt {d}} & \text {otherwise} \end {cases} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 1.13, size = 305, normalized size = 1.25 \begin {gather*} \frac {2}{15015} \, {\left (429 \, {\left (5 \, {\left (x e + d\right )}^{\frac {7}{2}} - 21 \, {\left (x e + d\right )}^{\frac {5}{2}} d + 35 \, {\left (x e + d\right )}^{\frac {3}{2}} d^{2} - 35 \, \sqrt {x e + d} d^{3}\right )} b^{3} e^{\left (-3\right )} + 143 \, {\left (35 \, {\left (x e + d\right )}^{\frac {9}{2}} - 180 \, {\left (x e + d\right )}^{\frac {7}{2}} d + 378 \, {\left (x e + d\right )}^{\frac {5}{2}} d^{2} - 420 \, {\left (x e + d\right )}^{\frac {3}{2}} d^{3} + 315 \, \sqrt {x e + d} d^{4}\right )} b^{2} c e^{\left (-4\right )} + 65 \, {\left (63 \, {\left (x e + d\right )}^{\frac {11}{2}} - 385 \, {\left (x e + d\right )}^{\frac {9}{2}} d + 990 \, {\left (x e + d\right )}^{\frac {7}{2}} d^{2} - 1386 \, {\left (x e + d\right )}^{\frac {5}{2}} d^{3} + 1155 \, {\left (x e + d\right )}^{\frac {3}{2}} d^{4} - 693 \, \sqrt {x e + d} d^{5}\right )} b c^{2} e^{\left (-5\right )} + 5 \, {\left (231 \, {\left (x e + d\right )}^{\frac {13}{2}} - 1638 \, {\left (x e + d\right )}^{\frac {11}{2}} d + 5005 \, {\left (x e + d\right )}^{\frac {9}{2}} d^{2} - 8580 \, {\left (x e + d\right )}^{\frac {7}{2}} d^{3} + 9009 \, {\left (x e + d\right )}^{\frac {5}{2}} d^{4} - 6006 \, {\left (x e + d\right )}^{\frac {3}{2}} d^{5} + 3003 \, \sqrt {x e + d} d^{6}\right )} c^{3} e^{\left (-6\right )}\right )} e^{\left (-1\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.06, size = 239, normalized size = 0.98 \begin {gather*} \frac {{\left (d+e\,x\right )}^{7/2}\,\left (2\,b^3\,e^3-24\,b^2\,c\,d\,e^2+60\,b\,c^2\,d^2\,e-40\,c^3\,d^3\right )}{7\,e^7}+\frac {2\,c^3\,{\left (d+e\,x\right )}^{13/2}}{13\,e^7}-\frac {\left (12\,c^3\,d-6\,b\,c^2\,e\right )\,{\left (d+e\,x\right )}^{11/2}}{11\,e^7}+\frac {{\left (d+e\,x\right )}^{9/2}\,\left (6\,b^2\,c\,e^2-30\,b\,c^2\,d\,e+30\,c^3\,d^2\right )}{9\,e^7}+\frac {{\left (d+e\,x\right )}^{5/2}\,\left (-6\,b^3\,d\,e^3+36\,b^2\,c\,d^2\,e^2-60\,b\,c^2\,d^3\,e+30\,c^3\,d^4\right )}{5\,e^7}-\frac {2\,d^3\,{\left (b\,e-c\,d\right )}^3\,\sqrt {d+e\,x}}{e^7}+\frac {2\,d^2\,{\left (b\,e-c\,d\right )}^2\,\left (b\,e-2\,c\,d\right )\,{\left (d+e\,x\right )}^{3/2}}{e^7} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________